TSTP Solution File: ALG267^1 by DCTP---1.31